$M$.sframe($k$ sends $<$$l$,${\it tg}$$>$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$L$ != ($M$.2.2.2.2.2.2.2).1($<$$l$, ${\it tg}$$>$) $\Rightarrow$ $\uparrow$deq{-}member(KindDeq;$k$;$L$)